https://dasbestelexikon.de/de/wiki/Hauptstelle_für_das_Grubenrettungswesen